Free shipping on all orders! No minimum purchase required.
Verification, Model Checking, and Abstract Interpretation
by Ahmed Bouajjani (Editor), David Monniaux (Editor)
